-
1 reduction semantics
English-Russian electronics dictionary > reduction semantics
-
2 reduction semantics
The New English-Russian Dictionary of Radio-electronics > reduction semantics
-
3 semantics
-
4 semantics
вчт.- denotational semantics
- mathematical semantics
- non-standard semantics
- operational semantics
- procedural semantics
- programming language semantics
- reduction semantics
- semantics of application domain
- standard semanticsThe New English-Russian Dictionary of Radio-electronics > semantics
См. также в других словарях:
Semantics encoding — A semantics encoding is a translation between formal languages. For programmers, the most familiar form of encoding is the compilation of a programming language into machine code or byte code. Conversion between document formats are also forms of … Wikipedia
Operational semantics — In computer science, operational semantics is a way to give meaning to computer programs in a mathematically rigorous way. Operational semantics are classified into two categories: structural operational semantics (or small step semantics)… … Wikipedia
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
MLisp — is also another name for Mocklisp, a stripped down version of Lisp used as an extension language in Gosling Emacs. MLISP is a variant of Lisp with an Algol like syntax based on M Expressions, which were the function syntax in the original… … Wikipedia
Robert Bruce Findler — Robert Bruce Findler, colloquially known as Robby , is a computer scientist, currently teaching at the University of Chicago. He is also a member of PLT and, as such, responsible for the creation and maintenance of DrScheme. In addition to… … Wikipedia
Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and … Wikipedia
Ambient calculus — In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility. Here mobility means both computation carried… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia